<?php
/* 
 * ********* CVS HEADER ********* 
 * 
 * $RCSfile: admenvrest.php,v $ 
 * $Date: 2005/08/29 14:55:41 $ 
 * $Revision: 1.2 $ 
 * 
 * ********* CVS HEADER ********* 
 */
$query="SELECT environnement.nom FROM environnement,groupe WHERE groupe.id_environnement=environnement.id AND groupe.id=".$session['id_groupe'];
$result=rportalrequete($query) or rportalerreur($query,"?op=");
if($row=rportalligne($result)) {
	$query="UPDATE session SET environnement='".$row['nom']."' WHERE id='".$session['id_session']."'";
	rportalrequete($query) or rportalerreur($query,"?op=");
	$session['environnement']=$row['nom'];
    $_SESSION['session']=$session;
}
header("Location: ?op=");
exit;
?>